Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also pragmatic code snippets; to understand not only research topics, but also engineering solutions. This book meets these demands by providing a unique description that combines high level design with low level implementations and academic advanced topics with commercial solutions. This book takes a holistic approach to the design of VM architecture, with contents organized into a consistent framework, introducing topics and algorithms in an easily understood step by step process. It focuses on the critical aspects of VM design, which are often overlooked in other works, such as runtime helpers, stack unwinding and native interface. The algorithms are fully illustrated in figures and implemented in easy to digest code snippets, making the abstract concepts tangible and programmable for system software developers.

Explore the concepts, algorithms, and applications underlying federated learning In Federated Learning for Future Intelligent Wireless Networks, a team of distinguished researchers delivers a robust and insightful collection of resources covering the foundational concepts and algorithms powering federated learning, as well as explanations of how they can be used in wireless communication systems. The editors have included works that examine how communication resource provision affects federated learning performance, accuracy, convergence, scalability, and security and privacy. In the book, readers will explore a wide range of topics that show how federated learning algorithms, concepts, and design and optimization issues that apply to wireless communications. Readers will also find: A thorough introduction to the fundamental concepts and algorithms of federated learning, including horizontal, vertical, and hybrid FL Comprehensive explorations of wireless communication network design and optimization for federated learning Practical discussions of novel federated learning algorithms and frameworks for future wireless networks Expansive case studies in edge intelligence, autonomous driving, IoT, MEC, blockchain, and content caching and distribution Perfect for electrical and computer science engineers, researchers, professors, and postgraduate students with an interest in machine learning, Federated Learning for Future Intelligent Wireless Networks will also benefit regulators and institutional actors responsible for overseeing and making policy in the area of artificial intelligence.

The oceans cover approximately 71% of Earth's surface, 90% of the biosphere and contains 97% of Earth's water. Since the first launch of SEASAT satellite in 1978, an increasing number of SAR satellites have or will become available, such as the European Space Agency's ERS-1/-2, ENVISAT, and Sentinel-1 series; the Canadian RADARSAT-1/-2 and the upcoming RADARSAT Constellation Mission series satellites; the Italian COSMO-SkyMed satellites, the German TERRASAR-X and TANDEM-X, and the Chinese GAOFEN-3 SAR, among others. Recently, European Space Agency has launched a new generation of SAR satellites, Sentinel-1A in 2014 and Sentinel-1B in 2016. These SAR satellites provide researchers with free and open SAR images necessary to carry out their research on the global oceans. The scope of Advances in SAR Remote Sensing of Oceans is to demonstrate the types of information that can be obtained from SAR images of the oceans, and the cutting-edge methods needed for analysing SAR images. Written by leading experts in the field, and divided into four sections, the book presents the basic principles of radar backscattering from the ocean surface; introduces the recent progresses in SAR remote sensing of dynamic coastal environment and management; discusses the state-of-the-art methods to monitor parameters or phenomena related to the dynamic ocean environment; and deals specifically with new techniques and findings of marine atmospheric boundary layer observations. Advances in SAR Remote Sensing of Oceans is a very comprehensive and up-to-date reference intended for use by graduate students, researchers, practitioners, and R&D engineers working in the vibrant field of oceans, interested to understand how SAR remote sensing can support oceanography research and applications.

"Circuits for Emerging Technologies Beyond CMOS"

New exciting opportunities are abounding in the field of body area networks, wireless communications, data networking, and optical imaging. In response to these developments, top-notch international experts in industry and academia present Circuits at the Nanoscale: "Communications, Imaging, and Sensing. "This volume, unique in both its scope and its focus, addresses the state-of-the-art in integrated circuit design in the context of emerging systems.

A must for anyone serious about circuit design for future technologies, this book discusses emerging materials that can take system performance beyond standard CMOS. These include Silicon on Insulator (SOI), Silicon Germanium (SiGe), and Indium Phosphide (InP). Three-dimensional CMOS integration and co-integration with Microelectromechanical (MEMS) technology and radiation sensors are described as well. Topics in the book are divided into comprehensive sections on emerging design techniques, mixed-signal CMOS circuits, circuits for communications, and circuits for imaging and sensing.

Dr. Krzysztof Iniewski is a director at CMOS Emerging Technologies, Inc., a consulting company in Vancouver, British Columbia. His current research interests are in VLSI ciruits for medical applications. He has published over 100 research papers in international journals and conferences, and he holds 18 international patents granted in the United States, Canada, France, Germany, and Japan. In this volume, he has assembled the contributions of over 60 world-reknown experts who are at the top of their field in the world of circuit design, advancing the bank of knowledge for all who work in this excitingand burgeoning area.

Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also pragmatic code snippets; to understand not only research topics, but also engineering solutions. This book meets these demands by providing a unique description that combines high level design with low level implementations and academic advanced topics with commercial solutions. This book takes a holistic approach to the design of VM architecture, with contents organized into a consistent framework, introducing topics and algorithms in an easily understood step by step process. It focuses on the critical aspects of VM design, which are often overlooked in other works, such as runtime helpers, stack unwinding and native interface. The algorithms are fully illustrated in figures and implemented in easy to digest code snippets, making the abstract concepts tangible and programmable for system software developers.

The oceans cover approximately 71% of Earth's surface, 90% of the biosphere and contains 97% of Earth's water. Since the first launch of SEASAT satellite in 1978, an increasing number of SAR satellites have or will become available, such as the European Space Agency's ERS-1/-2, ENVISAT, and Sentinel-1 series; the Canadian RADARSAT-1/-2 and the upcoming RADARSAT Constellation Mission series satellites; the Italian COSMO-SkyMed satellites, the German TERRASAR-X and TANDEM-X, and the Chinese GAOFEN-3 SAR, among others. Recently, European Space Agency has launched a new generation of SAR satellites, Sentinel-1A in 2014 and Sentinel-1B in 2016. These SAR satellites provide researchers with free and open SAR images necessary to carry out their research on the global oceans. The scope of Advances in SAR Remote Sensing of Oceans is to demonstrate the types of information that can be obtained from SAR images of the oceans, and the cutting-edge methods needed for analysing SAR images. Written by leading experts in the field, and divided into four sections, the book presents the basic principles of radar backscattering from the ocean surface; introduces the recent progresses in SAR remote sensing of dynamic coastal environment and management; discusses the state-of-the-art methods to monitor parameters or phenomena related to the dynamic ocean environment; and deals specifically with new techniques and findings of marine atmospheric boundary layer observations. Advances in SAR Remote Sensing of Oceans is a very comprehensive and up-to-date reference intended for use by graduate students, researchers, practitioners, and R&D engineers working in the vibrant field of oceans, interested to understand how SAR remote sensing can support oceanography research and applications.

"Geology of the China Seas" represents the first English-language synthesis of the available research into the geology of the South and East China Seas. Among the marginal basins worldwide, these areas have been the focus of extensive research activities in the last three decades, and are now among the global hot spots in hydrocarbon explorations and scientific investigations. The region is experiencing rapid economic development with the offshore petroleum industry providing approximately one third of the domestic hydrocarbon production for mainland China. Gas hydrates have been successfully recovered from the China Seas for the first time.

Over the years, many volumes on the geology of the China Seas have been published in Chinese. Although an increasing number of papers in English have appeared recently, the majority deal with local or regional paleo-environment and sedimentology, and are scattered in different journals. This book brings together this rich data in one resource, particularly that generated by Chinese marine geologists and petroleum geologists, and provides the very first synthesis of the geology off China.
The first systematic summary of the geology of the China SeasIncludes comprehensive coverage of the South China Sea and the East China Sea, including the Yellow Sea and Bohai GulfReviews hundreds of Chinese publications on marine and petroleum geology not currently accessible to the international community

This book provides an overview of asphalt pavement maintenance, highlighting the key asphalt pavement maintenance technologies in China. It analyzes the trend toward preventive maintenance technologies and proposes technical guidelines and implementation rules for preventive maintenance. As such it is a valuable reference resource for technicians in related industries, both in China and abroad, as well as professionals involved in road infrastructure maintenance projects in countries participating in the Belt and Road Initiative.

Novel Electrochemical Energy Storage Devices Explore the latest developments in electrochemical energy storage device technology In Novel Electrochemical Energy Storage Devices, an accomplished team of authors delivers a thorough examination of the latest developments in the electrode and cell configurations of lithium-ion batteries and electrochemical capacitors. Several kinds of newly developed devices are introduced, with information about their theoretical bases, materials, fabrication technologies, design considerations, and implementation presented. You'll learn about the current challenges facing the industry, future research trends likely to capture the imaginations of researchers and professionals working in industry and academia, and still-available opportunities in this fast-moving area. You'll discover a wide range of new concepts, materials, and technologies that have been developed over the past few decades to advance the technologies of lithium-ion batteries, electrochemical capacitors, and intelligent devices. Finally, you'll find solutions to basic research challenges and the technologies applicable to energy storage industries. Readers will also benefit from the inclusion of: A thorough introduction to energy conversion and storage, and the history and classification of electrochemical energy storage An exploration of materials and fabrication of electrochemical energy storage devices, including categories, EDLCSs, pseudocapacitors, and hybrid capacitors A practical discussion of the theory and characterizations of flexible cells, including their mechanical properties and the limits of conventional architectures A concise treatment of the materials and fabrication technologies involved in the manufacture of flexible cells Perfect for materials scientists, electrochemists, and solid-state chemists, Novel Electrochemical Energy Storage Devices will also earn a place in the libraries of applied physicists, and engineers in power technology and the electrotechnical industry seeking a one-stop reference for portable and smart electrochemical energy storage devices.

This book provides an overview of asphalt pavement maintenance, highlighting the key asphalt pavement maintenance technologies in China. It analyzes the trend toward preventive maintenance technologies and proposes technical guidelines and implementation rules for preventive maintenance. As such it is a valuable reference resource for technicians in related industries, both in China and abroad, as well as professionals involved in road infrastructure maintenance projects in countries participating in the Belt and Road Initiative.

This book proposes several commonly used interval-valued solution concepts of interval-valued cooperative games with transferable utility. It thoroughly investigates these solutions, thereby establishing the properties, models, methods, and applications. The first chapter proposes the interval-valued least square solutions and quadratic programming models, methods, and properties. Next, the satisfactory-degree-based non-linear programming models for computing interval-valued cores and corresponding bisection algorithm are explained. Finally, the book explores several simplification methods of interval-valued solutions: the interval-valued equal division and equal surplus division values; the interval-valued Shapley, egalitarian Shapley, and discounted Shapley values; the interval-valued solidarity and generalized solidarity values; and the interval-valued Banzhaf value. This book is designed for individuals from different fields and disciplines, such as decision science, game theory, management science, operations research, fuzzy sets or fuzzy mathematics, applied mathematics, industrial engineering, finance, applied economics, expert system, and social economy as well as artificial intelligence. Moreover, it is suitable for teachers, postgraduates, and researchers from different disciplines: decision analysis, management, operations research, fuzzy mathematics, fuzzy system analysis, applied mathematics, systems engineering, project management, supply chain management, industrial engineering, applied economics, and hydrology and water resources.

This book discusses in detail the science and morphology of powerful hurricane detection systems. It broadly addresses new approaches to monitoring hazards using freely available images from the European Space Agency's (ESA's) Sentinel-1 SAR satellite and benchmarks a new interdisciplinary field at the interface between oceanography, meteorology and remote sensing. Following the launch of the first European Space Agency (ESA) operational synthetic aperture radar satellite, Sentinel-1, in 2014, synthetic aperture radar (SAR) data has been freely available on the Internet hub in real-time. This advance allows weather forecasters to view hurricanes in fine detail for the first time. As a result, the number of synthetic aperture radar research scientists working in this field is set to grow exponentially in the next decade; the book is a valuable resource for this large and budding audience.

In real management situations, uncertainty is inherently present in decision making. As such, it is increasingly imperative to research and develop new theories and methods of fuzzy sets. Theoretical and Practical Advancements for Fuzzy System Integration is a pivotal reference source for the latest scholarly research on the importance of expressing and measuring fuzziness in order to develop effective and practical decision making models and methods. Featuring coverage on an expansive range of perspectives and topics, such as fuzzy logic control, intuitionistic fuzzy set theory, and defuzzification, this book is ideally designed for academics, professionals, and researchers seeking current research on theoretical frameworks and real-world applications in the area of fuzzy sets and systems.

This volume constitutes the refereed post-conference proceedings of the 3rd Joint China-Dutch Workshop on Game Theory and Applications and the 7th China Meeting on Game Theory and Applications, GTA 2016, held in Fuzhou, China, in November 2016. The 25 revised full papers presented were carefully reviewed and selected from 60 full paper submissions. They deal with a broad range of topics in the areas of non-cooperative and cooperative games, non-cooperative and cooperative games under uncertainty and their applications.

This book discusses in detail the science and morphology of powerful hurricane detection systems. It broadly addresses new approaches to monitoring hazards using freely available images from the European Space Agency's (ESA's) Sentinel-1 SAR satellite and benchmarks a new interdisciplinary field at the interface between oceanography, meteorology and remote sensing. Following the launch of the first European Space Agency (ESA) operational synthetic aperture radar satellite, Sentinel-1, in 2014, synthetic aperture radar (SAR) data has been freely available on the Internet hub in real-time. This advance allows weather forecasters to view hurricanes in fine detail for the first time. As a result, the number of synthetic aperture radar research scientists working in this field is set to grow exponentially in the next decade; the book is a valuable resource for this large and budding audience.

This book is a comprehensive review of high-temperature polymer electrolyte membrane fuel cells (PEMFCs). PEMFCs are the preferred fuel cells for a variety of applications such as automobiles, cogeneration of heat and power units, emergency power and portable electronics. The first 5 chapters of the book describe rationalization and illustration of approaches to high temperature PEM systems. Chapters 6 - 13 are devoted to fabrication, optimization and characterization of phosphoric acid-doped polybenzimidazole membranes, the very first electrolyte system that has demonstrated the concept of and motivated extensive research activity in the field. The last 11 chapters summarize the state-of-the-art of technological development of high temperature-PEMFCs based on acid doped PBI membranes including catalysts, electrodes, MEAs, bipolar plates, modelling, stacking, diagnostics and applications.

This book addresses two-person zero-sum finite games in which the payoffs in any situation are expressed with fuzzy numbers. The purpose of this book is to develop a suite of effective and efficient linear programming models and methods for solving matrix games with payoffs in fuzzy numbers. Divided into six chapters, it discusses the concepts of solutions of matrix games with payoffs of intervals, along with their linear programming models and methods. Furthermore, it is directly relevant to the research field of matrix games under uncertain economic management. The book offers a valuable resource for readers involved in theoretical research and practical applications from a range of different fields including game theory, operational research, management science, fuzzy mathematical programming, fuzzy mathematics, industrial engineering, business and social economics.

The focus of this book is on establishing theories and methods of both decision and game analysis in management using intuitionistic fuzzy sets. It proposes a series of innovative theories, models and methods such as the representation theorem and extension principle of intuitionistic fuzzy sets, ranking methods of intuitionistic fuzzy numbers, non-linear and linear programming methods for intuitionistic fuzzy multi-attribute decision making and (interval-valued) intuitionistic fuzzy matrix games. These theories and methods form the theory system of intuitionistic fuzzy decision making and games, which is not only remarkably different from those of the traditional, Bayes and/or fuzzy decision theory but can also provide an effective and efficient tool for solving complex management problems. Since there is a certain degree of inherent hesitancy in real-life management, which cannot always be described by the traditional mathematical methods and/or fuzzy set theory, this book offers an effective approach to using the intuitionistic fuzzy set expressed with membership and non-membership functions. This book is addressed to all those involved in theoretical research and practical applications from a variety of fields/disciplines: decision science, game theory, management science, fuzzy sets, operational research, applied mathematics, systems engineering, industrial engineering, economics, etc.

This book proposes several commonly used interval-valued solution concepts of interval-valued cooperative games with transferable utility. It thoroughly investigates these solutions, thereby establishing the properties, models, methods, and applications. The first chapter proposes the interval-valued least square solutions and quadratic programming models, methods, and properties. Next, the satisfactory-degree-based non-linear programming models for computing interval-valued cores and corresponding bisection algorithm are explained. Finally, the book explores several simplification methods of interval-valued solutions: the interval-valued equal division and equal surplus division values; the interval-valued Shapley, egalitarian Shapley, and discounted Shapley values; the interval-valued solidarity and generalized solidarity values; and the interval-valued Banzhaf value. This book is designed for individuals from different fields and disciplines, such as decision science, game theory, management science, operations research, fuzzy sets or fuzzy mathematics, applied mathematics, industrial engineering, finance, applied economics, expert system, and social economy as well as artificial intelligence. Moreover, it is suitable for teachers, postgraduates, and researchers from different disciplines: decision analysis, management, operations research, fuzzy mathematics, fuzzy system analysis, applied mathematics, systems engineering, project management, supply chain management, industrial engineering, applied economics, and hydrology and water resources.

This book addresses two-person zero-sum finite games in which the payoffs in any situation are expressed with fuzzy numbers. The purpose of this book is to develop a suite of effective and efficient linear programming models and methods for solving matrix games with payoffs in fuzzy numbers. Divided into six chapters, it discusses the concepts of solutions of matrix games with payoffs of intervals, along with their linear programming models and methods. Furthermore, it is directly relevant to the research field of matrix games under uncertain economic management. The book offers a valuable resource for readers involved in theoretical research and practical applications from a range of different fields including game theory, operational research, management science, fuzzy mathematical programming, fuzzy mathematics, industrial engineering, business and social economics.

Interference Cancellation Using Space-Time Processing and Precoding Design introduces original design methods to achieve interference cancellation, low-complexity decoding and full diversity for a series of multi-user systems. In multi-user environments, co-channel interference will diminish the performance of wireless communications systems. In this book, we investigate how to design robust space-time codes and pre-coders to suppress the co-channel interference when multiple antennas are available. This book offers a valuable reference work for graduate students, academic researchers and engineers who are interested in interference cancellation in wireless communications. Rigorous performance analysis and various simulation illustrations are included for each design method. Dr. Feng Li is a scientific researcher at Cornell University.

The focus of this book is on establishing theories and methods of both decision and game analysis in management using intuitionistic fuzzy sets. It proposes a series of innovative theories, models and methods such as the representation theorem and extension principle of intuitionistic fuzzy sets, ranking methods of intuitionistic fuzzy numbers, non-linear and linear programming methods for intuitionistic fuzzy multi-attribute decision making and (interval-valued) intuitionistic fuzzy matrix games. These theories and methods form the theory system of intuitionistic fuzzy decision making and games, which is not only remarkably different from those of the traditional, Bayes and/or fuzzy decision theory but can also provide an effective and efficient tool for solving complex management problems. Since there is a certain degree of inherent hesitancy in real-life management, which cannot always be described by the traditional mathematical methods and/or fuzzy set theory, this book offers an effective approach to using the intuitionistic fuzzy set expressed with membership and non-membership functions. This book is addressed to all those involved in theoretical research and practical applications from a variety of fields/disciplines: decision science, game theory, management science, fuzzy sets, operational research, applied mathematics, systems engineering, industrial engineering, economics, etc.

Interference Cancellation Using Space-Time Processing and Precoding Design introduces original design methods to achieve interference cancellation, low-complexity decoding and full diversity for a series of multi-user systems. In multi-user environments, co-channel interference will diminish the performance of wireless communications systems. In this book, we investigate how to design robust space-time codes and pre-coders to suppress the co-channel interference when multiple antennas are available. This book offers a valuable reference work for graduate students, academic researchers and engineers who are interested in interference cancellation in wireless communications. Rigorous performance analysis and various simulation illustrations are included for each design method. Dr. Feng Li is a scientific researcher at Cornell University.